Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
21	Microsoft Word - IBSNew_Trends_in_iTECH-final Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:11 Models of computation Robot Membrane computing Natural computing P system Computing Autonomous robot Engineering Academia Mobile Membranes Outline of robotics
22	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
23	Charles University in Prague Faculty of Mathematics and Physics MASTER THESIS Michal Vaner Add to Reading List Source URL: vorner.cz Language: English - Date: 2012-04-16 02:58:44 Mathematics Algorithms Applied mathematics Analysis of algorithms Cache Models of computation Computer science Sorting algorithms Cache-oblivious algorithm Divide and conquer algorithms Matching In-place algorithm
24	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
25	Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes E. Busra Celikkaya University of California, Riverside CELIKKAE @ CS . UCR . EDU Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2015-05-14 15:50:46 Graphical models Statistics Applied mathematics Mathematics Estimation theory Bayesian network Networks Gibbs sampling Belief propagation Expectationmaximization algorithm Computation tree
26	COMMENTARY Considerations of thin and fat Technological innovations Add to Reading List Source URL: uaw5810.org Language: English - Date: 2013-03-18 20:39:32 Academia Postdoctoral research Mathematics Theoretical computer science Education Computability theory National Postdoctoral Association Turing machine Models of computation UAW Local Alan Turing Community
27	Kagan Tumer Nomination for the IFAAMAS BOARDKagan Tumer is a Professor at Oregon State University, and the director of the multidisciplinary Graduate Robotics Program (OSU is one of only five universities in the Add to Reading List Source URL: www.aamas-conference.org Language: English - Date: 2016-03-14 20:09:08 Artificial intelligence International Conference on Autonomous Agents and Multiagent Systems Systems science Multi-agent systems Academia Models of computation International Conference On Intelligent Robots and Systems Agent-based model
28	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
29	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter
30	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz